symbolic simplification

un. 符號簡化